Reflecting and Refocusing
نویسندگان
چکیده
منابع مشابه
Refocusing Generalised Normalisation
When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisation has to be defined in a “multiary” variant, in which reduction rules are necessarily non-local (reason: nomalisation, like cut-elimination, acts at the head of applicative terms, but natural deduction focuses at the tail of s...
متن کاملRefocusing in Reduction Semantics
The evaluation function of a reduction semantics (i.e., a small-step operational semantics with an explicit representation of the reduction context) is canonically defined as the transitive closure of (1) decomposing a term into a reduction context and a redex, (2) contracting this redex, and (3) plugging the contractum in the context. Directly implementing this evaluation function therefore yi...
متن کاملSimultaneous spin-echo refocusing.
A new approach to spin-echo imaging is presented in which the 180 degrees RF pulse refocuses two or more spin-echoes at different positions in the readout period. When simultaneous echo refocusing (SER) is implemented using multiple 180 degrees pulses, an undesirable mixing of stimulated echoes and primary echoes from different slices can occur. A novel periodic gradient spoiler scheme eliminat...
متن کاملWnt Signalling: Refocusing on Strabismus
Vertebrate homologues of the Strabismus/van Gogh (stbm/vang) gene have been implicated in patterning and morphogenesis during gastrulation. Recent work shows that stbm/vang is mutated in zebrafish trilobite mutants and that stbm/vang is required for morphogenesis but not patterning during zebrafish gastrulation.
متن کاملCauses and Effects of Corporate Refocusing Programs
We study the precursors and outcomes of refocusing episodes by 107 diversified firms that were not taken over between 1984 and 1993. These firms had more value-reducing diversification policies than diversified firms that did not refocus. However, major disciplinary or incentive-altering events (including management turnover, outside shareholder pressure, changes in management compensation, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: OTJR: Occupation, Participation and Health
سال: 2016
ISSN: 1539-4492,1938-2383
DOI: 10.1177/1539449216683055